Variables
x1::[1..10]
x2::[1..10]
x3::[1,5]
Constraints
x1=x2
x1>x3
x2>x3
External Constraints
x2>x4
x3<x8